Proof from Arthur