[Geometry]
Is ABC DEF? If so, name the postulate that applies.
Is ABC DEF? If so, name the postulate that applies.