for a, b being natural Ordinal holds
( {} / b = {} & a / 1 = a )