theorem Th1100: :: NUMBER11:1100

Sum (digits (650,10)) = 11