theorem Th1082: :: NUMBER11:1082

Sum (digits (225,10)) = 9