theorem :: XPRIMES2:4791

canceled;