more proofs related to apply and eapply