lambda1@tg says to YSITD
You can already imagine what the proof looks like 😂😂