indiscernibility of identicals

principle in logic