theorem :: XPRIMES2:5294

canceled;