Join Date: Jan 2010
Posts: 49
In the section on bearing off, Magriel notes that it can be proven that one should always bear a checker off the 1 point.
So, I'm curious: how do you go about proving this in a rigorous manner? Obviously this can be shown through brute force, but I'd like to see something more elegant.