Можно ли доказать лемму?

Лемма - доказанное утверждение, полезное не само по себе, а для доказательства других утверждений.

НО доказать ее можно. Тоже самое, что 2+2=4 - это все знают, но доказать это можно, решив пример.