Indirect bewijs door F. Auwera