P
Initializing...
Theorem 4.5: power two escapes every Nice Devil · Prove2Me