Redirecting to Faltings' theorem