set r = <*> [:{},{}:];
dom (pr1 (<*> [:{},{}:])) = dom {}
.= {} ;
hence pr1 {} = {} ; :: thesis: pr2 {} = {}
dom (pr2 (<*> [:{},{}:])) = dom {}
.= {} ;
hence pr2 {} = {} ; :: thesis: verum