take {{}} --> {} ; :: thesis: ( not {{}} --> {} is empty & {{}} --> {} is constant )
thus ( not {{}} --> {} is empty & {{}} --> {} is constant ) ; :: thesis: verum