Category:Sine and Cosine are Periodic on Reals