the Constructive Trend in Mathematics. VI. In
