My theorem to match Euclid’s useless theorem. If you can find no path from upper OR left edge, to the right OR lower edge, where the 2 threads represented by the rows and columns, interferes with the valid state of… (Continue Reading →)