Freize's principle

 

v20240901