vollständige induktion teilbarkeit