Note added in proof: During the final preparation of this paper, we were informed by Alex Scott (Oxford) that he, Natasha
Morrison and Alex Roberts have a different proof of a result that generalizes our result (for n sufficiently large) by replacing
a triangle with any edge-critical graph.