Proof of sin0, cos0, tan0; sin90, cos90, tan90