1の言い分が通るんだったらもうこれでいいじゃん

奇数の完全数yが存在すると仮定する
yは可変値だから2を因数に含み矛盾する。
よって奇数の完全数は存在しない。(QED)