theorem :: XPRIMES2:4948

canceled;