Andria wrote the following statements:

statement 1: if parallel lines have a transversal, then corresponding angles are congruent.

statement 2: a line has an infinite number of points extending in opposite directions.

which geometry term does each statement represent?
statement 1: definition; statement 2: theorem
statement 1: postulate; statement 2: definition
statement 1: postulate; statement 2: theorem
statement 1: theorem; statement 2: postulate