DC ║ AB как противоположные стороны квадрата ABCD,
АВ ║ А₁В₁ как противоположные стороны квадрата АА₁В₁В, значит
DC ║ А₁В₁
DC ║ AB как противоположные стороны квадрата ABCD,
АВ ║ А₁В₁ как противоположные стороны квадрата АА₁В₁В, значит
DC ║ А₁В₁