$${\text{kui } \alpha < 90^\circ \text{, siis} \cos \alpha >0}$$