theorem Th1055: :: NUMBER11:1055

Sum (digits (576,10)) = 18