take NAT \ {0} ; :: thesis: ( NAT \ {0} is infinite & NAT \ {0} is positive-membered )
thus ( NAT \ {0} is infinite & NAT \ {0} is positive-membered ) ; :: thesis: verum