He discovered a completely new approach which proved the finite basis theorem for any number of variables but in an entirely abstract way.
Siya ay natuklasan ng isang ganap na bagong diskarte na proved ang hangganan teorama batayan para sa anumang bilang ng mga variable ngunit sa isang ganap na makuha paraan.