theorem :: XPRIMES2:115

canceled;