theorem :: XPRIMES2:4924

canceled;