theorem :: XPRIMES2:1830

canceled;