theorem :: XPRIMES2:7300

canceled;