Comment by pfdietz

The proof was of such complexity and length there were lingering doubts. This dispels them.