Redirecting to Nakayama lemma