File:Willem van der Poorten.jpg