Veci, ktoré nemajú nič spoločné, nemôžu (podľa axiómy 5) byť chápané navzájom jedna z druhej, teda (podľa axiómy 4) jedno nemôže by príčinou druhej. A to sa práve malo dokázať.