「xは上告受理申立てをしたが、上告棄却された」