Engel's Criterion for Nilpotent Lie Algebras