theorem :: XPRIMES2:2996

canceled;