theorem :: XPRIMES2:5830

canceled;