Ik ben in de war met Thm2, de instructeur zei en legde uit dat x grover is dan x', maar aangezien x' in x is opgenomen en rekening houdend met de definitie van de partitie, zou zijn uitleg dan niet tegengesteld moeten zijn terwijl hij Thm2 bewijst? Dus x bevat x' en meer, denk ik.####[['Thm2', 'Mathematical_Related_Concept', 'NEU']]