Bevis om delbarhet

Det är ju ett antagande i satsen. Den säger ju att om $a|bc$ och $a\perp b$ så gäller $a|c$.

Satsen är egentligen ganska trivial (om $a$ och $b$ är relativt prima men $a|bc$ måste det ju vara $c$:et i produkten $bc$ som gör att $a|bc$), det är bara att man vill visa den formellt.

🤦‍♀️ Nu fattar jag.. Tack!