MathCastle
Proof WritingChallengeWriting It Up

Writing It Up · Challenge problem

A draft says: "a∣bca \mid bc and a∤ba \nmid b, so a∣ca \mid c." Which extra hypothesis makes this step valid?