Prove 3c