theorem Th14: :: WSIERP_1:14

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