数ページ前の公理を使うとESP