consider n being even square Element of NAT ;
take n ; :: thesis: ( n is even & n is square )
thus ( n is even & n is square ) ; :: thesis: verum