theorem Th1304: :: NUMBER11:1304

Sum (digits (4075,10)) = 16