theorem Th172: :: NUMBER11:172

Sum (digits (75,10)) = 12