reserve L for Boolean non empty RelStr;
reserve a,b,c,d for Element of L;

theorem
  a\a = Bottom L by Th34;
