theorem :: XPRIMES1:567

canceled;