15.7 Erinnerung: Zahldarstellung
Wir behandeln nur natürliche Zahlen, eingebettet in Int .
Als Hilfsprädikat verwenden wir
n `below` m = 0 <= n && n < m
Dann ist d Ziffer im Zahlsystem zur Basis p gdw. d `below` p
Listen von p-adischen Ziffern sind charakterisiert durch
digits p k xs = length xs == k && all (`below`p) xs