Let SS be a finite set of points in three-dimensional space. Let Sx,Sy,SzS_x, S_y, S_z be the sets consisting of the orthogonal projections of the points of SS onto the yzyz-plane, zxzx-plane, xyxy-plane, respectively. Prove that

∣S∣2≤∣Sx∣⋅∣Sy∣⋅∣Sz∣,|S|^2 \leq |S_x| \cdot |S_y| \cdot |S_z|,

where ∣A∣|A| denotes the number of elements in the finite set ∣A∣|A|. (Note: The orthogonal projection of a point onto a plane is the foot of the perpendicular from that point to the plane.)