4 Sine Pi over 10 by Cosine Pi over 5/Proof 3