xが無理数になることを