set f = id (bool X);
( id (bool X) is closure & id (bool X) is interior ) ;
hence ex b₁ being Function of (bool X),(bool X) st
( b₁ is closure & b₁ is interior ) ; :: thesis: verum