Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Thank You, this answers my question. I had similar ideas but I didn't realise that an element like $x_1h$ could be primitive -- bit this is clear to me now. If I am not mistaken, your proof shows that in fact $P\cap H$ generates $H$.