"proper divisor" Deutsche bedeutung