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