theorem :: XPRIMES2:7373

canceled;