theorem :: XPRIMES2:2992

canceled;