theorem Th1248: :: NUMBER11:1248

Sum (digits (3175,10)) = 16