consider F being strict Field;
F is Ring ;
hence ex b₁ being Skew-Field st b₁ is strict ; :: thesis: verum