何かと別の何かを隔てる更に別の何かであって、
前記何かと別の何かは、それぞれ同一又は同一でない何かであり、
前記更に別の何かは前記何かと別の何かとは同一ではない何かである。