A Proofs apple dP dP Var