theorem Th421: :: NUMBER11:421

Sum (digits (920,10)) = 11