theorem Th197: :: NUMBER11:197

Sum (digits (272,10)) = 11