ヘテロロジカルがヘテロロジカルだとすると、ホモロジカルであるということになるので、ヘテロロジカルではない。しかし、ヘテロロジカルでなければ、ヘテロロジカルである。