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