On the extremality, uniqueness and optimality of transference plans