biuniqueness

not defined yet