theorem :: XPRIMES2:5373

canceled;