theorem :: XPRIMES2:1567

canceled;