Proof 7 is unique