Αρχή της ευθιδικίας