theorem Th928: :: NUMBER11:928

Sum (digits (92,10)) = 11