theorem Th153: :: NUMBER11:153

Sum (digits (168,10)) = 15