4 Sine Pi over 10 by Cosine Pi over 5

Theorem

 * $4 \sin \dfrac \pi {10} \cos \dfrac \pi 5 = 1$