theorem :: XPRIMES2:2706

canceled;