User blog comment:Shane Star/Ruby x Weiss x Blake x Yang/@comment-5717877-20150107224047/@comment-24891101-20150108024124

Proof by induction?