theorem Th1164: :: NUMBER11:1164

Sum (digits (1775,10)) = 20