The problem of proof...

 

v20240901