theorem :: XPRIMES2:6510

canceled;