Is it possible to create a DEAD contract?

[hacker-DOM]

The Yellow Paper contains the following logic under contract creation:

DEAD(s, a) is defined as:

Notably, the nonce must be 0.

In the first figure, a represents the address of the created account. However:

The nonce of the created account is initially set to 1.

TLDR: Am I correct in saying that the second case in Figure 1 cannot occur, and hence is redundant?

[hacker-DOM]

The only way to decrease nonce on the EVM is through selfdestruct, and that will happen after \Lambda has finished executing....

[yperbasis]

Yeah, I think that the second condition in (102) is redundant.