theorem :: XPRIMES2:6498

canceled;