gollum.space
RU
Which was what needed to be proven...
karlson76
Source
Proof
Mathematics
Theorem
School
v20240901