95367_Miyako_Chapter 2_R1_LR proof