theorem :: XPRIMES2:6511

canceled;