This fact is proved, along with a compilation of other things we know about the AFB & ICC problem, here
http://rangevoting.org/SimmonsSmithPf.html Warren D Smith http://rangevoting.org ---- election-methods mailing list - see http://electorama.com/em for list info
