4.5 without complete proof of equiv-ap'