yes, there are no '57 * 86' examples, which would be counting intersections for quite some time.