FinalKawakami Proof