theorem Th1200: :: NUMBER11:1200

Sum (digits (2375,10)) = 17