P
Initializing...
Dris five-case s>=5 odd: square subcase · Prove2Me