Чет мудак, и это лемма, если кто не знает: теорема не требующая доказательства. Следовательно Вася эт Мудак...