Short proofs of three results about intersecting systems | Synapse