>>484
aは奇数でなければならないことを前提に、3.1.を考慮から外しているように見えます