theorem Th1332: :: NUMBER11:1332

Sum (digits (4425,10)) = 15