theorem :: XPRIMES2:1670

canceled;