theorem Th547: :: NUMBER11:547

Sum (digits (2180,10)) = 11