p_1 ... p_{k-1}= p_{k-1} ... p_1