theorem :: XPRIMES2:2565

canceled;