theorem :: XPRIMES2:923

canceled;