theorem :: XPRIMES2:5498

canceled;