Nakayama's Lemma — Submodule Form