the carrier of (RAdj (R,T)) = carrierRA T by dRA;
hence not RAdj (R,T) is empty ; :: thesis: verum