theorem Th1354: :: NUMBER11:1354

Sum (digits (4700,10)) = 11