Можно ли доказать лемму?
Лемма - доказанное утверждение, полезное не само по себе, а для доказательства других утверждений.
НО доказать ее можно. Тоже самое, что 2+2=4 - это все знают, но доказать это можно, решив пример.