15.10.2009 Показана небеспредельность принципа Мура 1