Proof of 9dcc. Claimed by interacting with 9dcc.