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