Loi Edmunds–Tucker