theorem Th296: :: NUMBER11:296

Sum (digits (171,10)) = 9