y3df-証明するthy自己