If two lines intersect, then exactly one plane contains both lines is this statement a postulate or theorem