n=7: 2 types lambda checked, all properties and injectivity: True
n=9: 2 types lambda checked, all properties and injectivity: True
n=21: 40 types lambda checked, all properties and injectivity: True
n=41: 910 types lambda checked, all properties and injectivity: True
n=61: 10268 types lambda checked, all properties and injectivity: True
n=81: 80523 types lambda checked, all properties and injectivity: True
odd 7 <= n <= 81: Lemma 7.1 holds for all: True
