theorem :: XPRIMES2:1772

canceled;