Det samma borde ock varafallet