I don't know if it's correct because I can't understand it. Because I don't know what p0, p1, q0 and q1 are when you introduce them in the proof. And I'm not sure anyone else will either. Can't you state it without them? You are right, you are not good at stating proofs. I do think you understand it, but I don't think the written proof conveys your clarity of understanding. :).