theorem Th773: :: NUMBER11:773

Sum (digits (594,10)) = 18