No.12259915 ViewReplyOriginalReport
>induction can be used in every proof that uses countin-