theorem Th940: :: NUMBER11:940

Sum (digits (230,10)) = 5