theorem Th1188: :: NUMBER11:1188

Sum (digits (2175,10)) = 15