proving proposition 7 indirectly