... 5,µ2∆≥nt4p2t2t2nt2p2t2ϕ(1, 1)10 the electronic journal of combinatorics 4 (1997), #R18 62. PROOFSProof of the Theorem:We have already provided a proof of the second part of the theorem using nothingmore ... decrease. The proof of the theorem proceeds by a sequence of lemmas:Lemma 1. The function ψ(r, c), extended to the closed domain A =[1,t]2\(t−1,t]2 of R2, has critical points only along the diagonal ... ≥ r0.9 the electronic journal of combinatorics 4 (1997), #R18 3Most of the work described in the previous two paragraphs has focused on the casewhere the dimensions (s, t) of the forbidden...