verifying trig proofs

3 years ago