ML lemma

  1. REDIRECT Estimation lemma