theorem Th1314: :: NUMBER11:1314

Sum (digits (4200,10)) = 6