theorem :: XPRIMES2:1792

canceled;