A more rigorous derivation of some properties of uncorrelated fitness landscapes