LEIBNIZ'S LAW

See indiscernibility of identicals.