theorem Th176: :: NUMBER11:176

Sum (digits (135,10)) = 9