theorem :: XPRIMES1:2567

canceled;