theorem :: XPRIMES2:1791

canceled;