theorem Th934: :: NUMBER11:934

Sum (digits (161,10)) = 8