theorem Th1316: :: NUMBER11:1316

Sum (digits (4225,10)) = 13