Sine and cosine/Real/Properties/Fact