Deleted an obsolete sentence

The variable y doesn't exist anymore, it came from a previous version where the type E(n) \to E(\suc(n)) was expressed as a pi type with y : E(n)