theorem :: XPRIMES2:914

canceled;