Given: Parallelogram ABCD with diagonal AC drawn
Prove: triangle ABC is equal to triangle CDA

1. segment AC is congruent to segment AC: reflexive property
2. angle BAC is congruent to angle DCA
angle DAC is congruent to angle BCA: P, AI theorem
3. Triangle ABC is congruent to triangle CDA: ASA theorem