theorem Th1186: :: NUMBER11:1186

Sum (digits (2150,10)) = 8