theorem :: XPRIMES2:456

canceled;