theorem :: XPRIMES2:6300

canceled;