Redirecting to Ado's theorem