theorem Th755: :: NUMBER11:755

Sum (digits (308,10)) = 11