Robinson's joint consistency theorem
 
x
OK