the carrier of (ConstantNet R,p) --> p is constant ;
hence the mapping of (ConstantNet R,p) is constant by Def7; :: according to YELLOW_6:def 6 :: thesis: verum