for b, k, n being Nat
for a being non zero Integer st 1 <= k & k <= n holds
a divides ((a,b) Subnomial n) . k