Prove that if you rotate through an angle of \(\alpha\) with the center at the origin, the point with the coordinates \((x, y)\), it goes to the point \((x \cos \alpha - y \sin \alpha, x \sin \alpha + y \cos \alpha)\).