consider e being Element of V;
e is strict Ring by Def12;
hence ex b₁ being Element of V st b₁ is strict ; :: thesis: verum