theorem Th1086: :: NUMBER11:1086

Sum (digits (275,10)) = 14