for a, b, c being Nat st a divides b holds
a |^ c divides b |^ c