Two socks theorem

 

v20240901