Доказательство великой теоремы Ферма. Формализованный способ разложения Z2Костючков, Александр Иванович200212 с.