Remix.run Logo
BeetleB 18 hours ago

Followed by a proof via induction.