Oleg Zubelewicz Elementary Proof of the Cartan Magic Formula (250K, pdf) ABSTRACT. In this short note we present very simple proof of the famous Cartan homotopy formula $$L_v\omega=di_v\omega+i_vd\omega.$$