theorem :: XPRIMES2:931

canceled;