AMSpace (V0,w0,y0) is OrtAfPl-like by Def10, Lm11;
hence ex b₁ being non empty ParOrtStr st
( b₁ is strict & b₁ is OrtAfPl-like ) ; :: thesis: verum