<*P1,P2,P3*> = (<*P1*> ^ <*P2*>) ^ <*P3*> by FINSEQ_1:def 10;
hence <*P1,P2,P3*> is Path-like ; :: thesis: verum