写出在中序线索二叉树中结点P的右子树中插入一个结点s的算法。