theorem :: XPRIMES2:2665

canceled;