Surfaces of general type have K^2 >= 1