Khazzoom-Brookes postulate
 
x
OK