theorem :: XPRIMES2:6502

canceled;