Note: The value of a trigonometric function is a number, namely the number that represents the ratio of two lengths. Throughout the proof, then, we will consider AE and DA not only as lengths, but also as the numbers that are their measures. Therefore the usual properties of arithmetic will apply.