9_BS_MR2_Red (9)_proof