for a, b, c being Integer st c divides a * b & a,c are_coprime holds
c divides b