for a, b, e being Nat st e > 0 & a |^ e divides b |^ e holds
a divides b