M --> the Point of M is constant ;
hence ex b₁ being Function of M,M st b₁ is constant ; :: thesis: verum