theorem Th191: :: NUMBER11:191

Sum (digits (192,10)) = 12