theorem Th143: :: NUMBER11:143

Sum (digits (56,10)) = 11