theorem :: XPRIMES2:6751

canceled;