P
Initializing...
The second form of SCH implies the first · Prove2Me