theorem :: XPRIMES2:5300

canceled;