theorem :: XPRIMES2:1741

canceled;