theorem :: XPRIMES2:5928

canceled;