theorem :: XPRIMES2:936

canceled;