P
Initializing...
Quintuple gap b > 3a (Cipu-Filipin-Fujita) · Prove2Me