∀が最強ということが完全証明された件について。