theorem :: XPRIMES2:2543

canceled;