Direct verification of the statement can be given as an exercise for "n' = 2, but is already long for "n" = 3.
Непосредственная верификация формулировки может быть представлена в качестве примера для "n' = 2, но уже длинна для "n" = 3.