theorem Th1088: :: NUMBER11:1088

Sum (digits (325,10)) = 10