>>758を証明するために、>>759はJaneを使って書いた