P
Initializing...
Exclusion of a degenerate first pair in an ordered sextuple · Prove2Me