gollum.space
RU
There is such an equality
Baktiar97
Source
Logics
Logic Picabu
Mathematics
v20240901
