theorem Th298: :: NUMBER11:298

Sum (digits (228,10)) = 12