( H is Element of WFF & G is Element of WFF ) by Def9;
then H '&' G is Element of WFF by Def8;
hence H '&' G is ZF-formula-like ; :: thesis: verum