Dejection's proof is very abstract, but let me see if I can explain the overall gist of it..
First off, the number he uses, phi, or the golden ratio has the unique property that it's square is exactly one more than the number itself.
Pick an arbitrary column to be a "center" column. We're aiming to move a piece on the fifth forward row of this column. The furthest point on the column is assigned a value of 1. For every space forward, the value of the square is multiplied by phi. For every square backward, it is divided by phi. For every square to the side of the column, the value is divided by phi.
What Dejection looks at is the sum value of the occupied squares, and the effect of any potential move has on it. For purposes of this analysis, the piece is worth the value of the square where it sits.
When a piece jumps forward, or towards the center, you remove a piece worth k and a piece worth k*phi, but add a piece worth k*phi^2, where k is the value of the least valuable square.
So the sum effect on the value of all pieces is:
k*phi^2 - k*phi - k
k*(phi^2 - phi - 1)
k*(phi^2 - (phi + 1))
But phi^2 = phi + 1, so the change is k*0 or nothing.
For jumps backwards or away from the center, you remove two higher value pieces for a loew valued one, and the sum decreases. The net result is that there is no way to increase the net value of all the pieces, only decrease it, and we need at least phi^5 value of pieces in order to have a piece on the fifth forward row.
Now... that's all well and good, but how does that have anything to do with anything? Well, suppose you filled the entire infinite chessboard behind the line with pieces, what would the sum of their value be?
You would need to solve this summation from where i = 0 to infinity:
(2 * i + 1) / (phi^i).
The first few terms are 1/phi^0 (1), 3/phi, 5/(phi^2), etc, etc..
Now Dejection did not do the math for this, but apparantly this inifinite sum has the finite value of phi^5, which means our filled infinite board is just enough to have a piece reach the fifth rank. Remove any piece, and it becomes impossible, because we don't have sufficient value of pieces to equal the value of a lone piece on the fifth rank.