theorem :: XPRIMES2:692

canceled;