theorem :: XPRIMES2:4567

canceled;