for n being Element of NAT holds
( min* {n} = n & min {n} = n )