theorem :: XPRIMES2:110

canceled;