for A, B being semi-functional para-functional category holds A,B have_the_same_composition