theorem Th1312: :: NUMBER11:1312

Sum (digits (4175,10)) = 17