3 ms·

This would be relevant if there was another proof of the ABC conjecture available.

• udev 12y ago
  just take len ( Proof2 ) = infinity