theorem Th901: :: NUMBER11:901

Sum (digits (2178,10)) = 18