theorem :: XPRIMES2:1576

canceled;