theorem Th1110: :: NUMBER11:1110

Sum (digits (825,10)) = 15