Indirect bewijs by F. Auwera