theorem :: XPRIMES2:6528

canceled;