theorem Th90: :: NUMBER11:90

Sum (digits (209,10)) = 11