Revert partially the previous commit:

The two formulas are true iff 2n = 2 <=> n = 1.