take D = {(<*> NAT)}; :: thesis: ( not D is empty & D is Tree-like )
thus ( not D is empty & D is Tree-like ) ; :: thesis: verum