theorem :: XPRIMES2:6530

canceled;