theorem :: XPRIMES2:1242

canceled;