theorem Th1092: :: NUMBER11:1092

Sum (digits (375,10)) = 15