theorem :: XPRIMES2:1115

canceled;