triangle proofs one missing step - Search