Prove proposition 11 (hard-code)