Sætning 1: Der er regelmæssige, eller uregelmæssige, væsentlige bidrag fra grupper i formel 11 med Abelianisationsformel 285 af typer Sætning 2: Der er uregelmæssige, væsentlige, resp. regelmæssige bidrag fra grupperne formel _ 11 med abelianizationsformel _ 285 af de typer Spørgsmål: Har sætning 1 og sætning 2 samme betydning? - Ja eller nej?
- Nej, det gør jeg ikke.