theorem Th936: :: NUMBER11:936
Sum (digits (184,10)) = 13