theorem :: XPRIMES2:8715

canceled;