P
Initializing...
Dris five-case, odd s: square subcase · Prove2Me