>>300 において p ≡ 1 (mod λ) ではないと仮定したが、
この仮定がなくても、つまり f = 1 でも >>300 の主張および
その証明はそのまま成立つ。