theorem :: XPRIMES2:6710

canceled;