A set intersection theorem and an application to a bipartite Ramsey theorem

In this note we prove a theorem about the existence of subfamilies of families of a finite set, with intersections of prescribed size. We then apply this to give a new proof of a Ramsey-type theorem for bipartite graphs.