A-Level Maths AQA 7357

Auth manager not initialized

#2 Proof by exhaustion