>>46
K本のときふさふさ⇒K-1本のときふさふさ

の証明が抜けている.よって証明として成り立たない.