theorem :: XPRIMES2:567

canceled;