A1: G is Element of CTL_WFF by Def13;
H is Element of CTL_WFF by Def13;
then H '&' G is Element of CTL_WFF by A1, Def12;
hence H '&' G is CTL-formula-like ; :: thesis: verum