for n, m being natural Ordinal st {} in m & n divides m holds
n c= m