theorem Th312: :: NUMBER11:312

Sum (digits (437,10)) = 14