theorem :: XPRIMES2:2965

canceled;