MathCastle
Proof WritingHardWriting It Up

Writing It Up · Hard problem

A proof wants 24∣N24 \mid N and cites two lemmas. Which pair of lemmas is NOT enough?