theorem :: XPRIMES2:387

canceled;