theorem Th1352: :: NUMBER11:1352

Sum (digits (4675,10)) = 22