両方の船の間で一つの部品を交換するとき、2隻の船はまだ同じ船と言えるだろうか。