λ(zero : Natural) → +5 * +5 * +5 * zero