theorem Th1308: :: NUMBER11:1308

Sum (digits (4125,10)) = 12