theorem Th1166: :: NUMBER11:1166

Sum (digits (1825,10)) = 16