theorem :: XPRIMES2:501

canceled;