then the angle of elevation of the cloud is equal to the angle of depression of its reflection.