Vogt-Russell theorem
 
x
OK