theorem Th1002: :: NUMBER11:1002

Sum (digits (1127,10)) = 11