"Good enough" completion of Horner's Rule proof

Might revisit to clear up a bit but basically covers off a lot of the
required logic.