theorem :: FINTOPO8:51

NTop2Top FMT_R^1 = R^1 by FINTOPO7:24;