kroneckers approximation theorem