theorem :: XPRIMES2:1501

canceled;