a|b und c|d => a*c|b*d ist zu beweisen

ich habe bereits:

b=a*x

d=c*y

durch einsetzen komme ich hier aber auf keine sinnvolle Lösung..

Meines Erachtens reichte eine logische Begründung aus?

da a|b und c|d und ich bei a*c sowie b*d immer Vielfach von a habe!