Solution for Affine.NewTriples.triple_conseq_frame_hgc
Click on the 'Next' button to reveal the proof step by step.