theorem :: XPRIMES1:5567

canceled;