3 ms·you implement the function recursively and let the compiler derive a proof by induction.by madsbuch 3y agoyou implement the function recursively and let the compiler derive a proof by induction.