View source for Lemma 7

This page proves a lemma for the [[m=13 case of FUNC]].

==Lemma 7:==
This proof is much longer than anticipated (and it's still not completed), but it will be split into six cases (with each case relying on the previous cases):

[[Lemma 7.1]]: If there are two size 5 sets intersecting at 4 elements, then <math>\mathcal{A}</math> is Frankl's

[[Lemma 7.2]]: If there are two size 5 sets intersecting at 3 elements, then <math>\mathcal{A}</math> is Frankl's

[[Lemma 7.3]]: If there are two size 5 sets intersecting at 2 elements, then <math>\mathcal{A}</math> is Frankl's

[[Lemma 7.4]]: If there are two intersecting size 5 sets, then <math>\mathcal{A}</math> is Frankl's

[[Lemma 7.5]]: If there are two size 5 sets, then <math>\mathcal{A}</math> is Frankl's

[[Lemma 7.6]]: If there is a size 5 set, then <math>\mathcal{A}</math> is Frankl's