theorem Th224: :: NUMBER11:224

Sum (digits (34,10)) = 7