パラドックス自体が元からなくて、それを証明してくれてる