theorem Th909: :: NUMBER11:909

Sum (digits (2288,10)) = 20