Prove that: sin 47° + cos 77° = cos 17°