consider a, b being set such that
A1: ( a in QC-WFF & b in vSUB & [a,b] = Z ) by ZFMISC_1:def 2;
thus Z `1 is Element of QC-WFF by A1, MCART_1:7; :: thesis: verum