theorem Th56: :: NUMBER11:56

Sum (digits (11,10)) = 2