Proof en passant is forced