theorem Th157: :: NUMBER11:157

Sum (digits (210,10)) = 3