theorem Th1318: :: NUMBER11:1318

Sum (digits (4250,10)) = 11