Diagonal Argument Proof (3.5e Maneuver)