This is correct, but since you've already testes that one is 7 and the other is 4, I don't really see the point.