---

Step * of Lemma fan_27_7a_wf

fan_27_7a{i:l}()  '
BY
{ ProveWfLemma }


fan\_27\_7a\{i:l\}()  \mmember{}  \mBbbP{}'


By

ProveWfLemma



Home Index