Pedersen's law
 
x
OK