theorem Th1104: :: NUMBER11:1104

Sum (digits (725,10)) = 14