chain01_proof