P
Initializing...
GCH implies SCH · Prove2Me