theorem :: XPRIMES2:7567

canceled;