Prove that the real sine function induces a bijective, strictly increasing function
and that the real cosine function induces a bijective, strictly decreasing function