Extremal graphs with bounded matching number: a short proof of the Alon-Frankl theorem | Synapse