theorem :: XPRIMES2:6527

canceled;