Find!
c1=n1 is deep inside n2 by standard c4
From la berenstein cribe 2020/11/17 See also condi,nenri