任意のnが正しい時にn+1が正しければ

これは内部のロジックを検査しないといけないから結局網羅的になるんじゃないか

8:35 AM

n = 3のときだけバグる、みたいな可能性が残る