theorem :: XPRIMES2:6030

canceled;