Proof without numeral boxes, probably used as a basis for all values.