PROOF BY A & FITCH (M) TYPE