User blog comment:LittlePeng9/Advent calendar/@comment-4224897-20141202000340/@comment-2033667-20141202015114

try proving it for arbitrary number of cuts