theorem :: XPRIMES2:1042

canceled;