theorem
  a\a = Bottom L by Th34;
