fixed the proof as to why you only need the leading 12 digits.
problem 59