Exe1: remove confused comment

As @bentnib kindly explained, that line was needed because `Fin zero` is
uninhabited, so the `zero` used in `iterate (suc o embed) zero` is undefined.