P
Initializing...
A finite strict transitive relation has a maximal element · Prove2Me