NNN は二つの正方形の外接円上にあるので、直角関係から ∠ANB=90∘\angle ANB=90^\circ∠ANB=90∘ である。したがって NNN は直径 ABABAB の円上にある。N′N'N′ についても ∠AN′B=90∘\angle AN'B=90^\circ∠AN′B=90∘ から同じことが成り立つ。