Supply the missing statements/reason in this proof
Given: TVPX is an isosceles trapezoid with bases TV and XP
Prove: ATVY-APXY
