theorem :: XPRIMES2:6760

canceled;