theorem :: XPRIMES2:6567

canceled;