On the number of edges in a K5-minor-free graph of given girth | Synapse