Peskine and Szpiro's Dimension inequality holds over local rings of depth at most one

We prove that the general version—the one that includes the dimension of the tensor product—of Peskine and Szpiro’s Dimension Inequality holds over noetherian local rings of depth at most one.