10 10 the proofs used for obtaining the bound are based on program transformations and combinatorial mathematics