theorem :: XPRIMES2:2567

canceled;