verifying trig proofs

2 years ago