WhizzCat

De computer power is er gewoon nog niet om zulke gevallen te bewijzen. Komt nog wel denk, maar nu nog even niet. Het aantal variabelen is te groot om dit te kunnen berekenen.