es15

Per induzione sulla deduzione di Gamma |-Church M : alpha