Polynomal-size Frege proofs of Bollobás’ theorem on the trace of sets

In this note we show that Bollobas' theorem on the trace of sets has polynomial-size Frege proofs.