theorem Th126: :: NUMBER11:126

Sum (digits (195,10)) = 15