cos(cos(x)) = sin(sin(x)) を満たす実数xは存在しますか?