Доведемо спочатку, що якщо основою чотирикутної піраміди SABCD є квадрат ABCD, і точки A0,B0,C0,D0 належать променям SA,SB,SC,SD відповідно, причому A0B0C0D0 є паралелограмом, то A0B0C0D0 — квадрат. Нехай l=(SCD)∩(SAB) і m=(SAD)∩(SBC). За відомою лемою про три паралельні, CD∥BA∥l, BC∥AD∥m, C0D0∥B0A0∥l, B0C0,A0D0∥m. Отже, (ABCD)∥(A0B0C0D0), а тому, як легко зрозуміти (наприклад, з міркувань перетворення гомотетії), A0B0C0D0 — квадрат. З цього допоміжного твердження випливає, що всі грані нашого паралелепіпеда — квадрати. Таким чином, цей паралелепіпед A′B′C′D′A1′B1′C1′D1′ насправді є кубом.
Наведемо й один з можливих векторних способів розв'язування цієї задачі. Нехай MABCD — чотиригранний кут з вершиною M і неколінеарними ребрами MA,MB,MC і MD. Досить показати, що якщо два його перерізи A1B1C1D1 і A2B2C2D2 (A1,A2∈MA, B1,B2∈MB, C1,C2∈MC, D1,D2∈MD) є паралелограмами, то ці паралелограми подібні. Розглянемо в просторі гомотетію з центром у точці M і коефіцієнтом k=MA1/MA2. Нехай образом паралелограма A2B2C2D2 при такій гомотетії буде паралелограм A1B3C3D3. Доведемо, що B1=B3, C1=C3, D1=D3. Оскільки A1B3=D3C3, то MA1=MB3−MC3+MD3. Нехай u,v,w — напрямні орти променів MB,MC,MD відповідно. Тоді для деяких дійсних чисел x,y і z MB3=x⋅u, MC3=y⋅v, MD3=z⋅w, звідки MA1=x⋅u−y⋅v+z⋅w. Оскільки A1B1=D1C1, то MA1=MB1−MC1+MD1, а тому існують такі x0,y0 і z0, що MB1=x0⋅u, MC1=y0⋅v, MD1=z0⋅w, MA1=x0⋅u−y0⋅v+z0⋅w. Враховуючи, що трійка векторів u,v,w утворює базис у просторі, дістаємо, що x=x0, y=y0, z=z0.