1 in dom p by FINSEQ_5:6;
hence p . 1 is [Graph-like] ; :: thesis: verum