( H is Element of LTL_WFF & G is Element of LTL_WFF ) by Def10;
then H '&' G is Element of LTL_WFF by Def9;
hence H '&' G is LTL-formula-like ; :: thesis: verum