theorem
  p '&' p = FALSE implies p = FALSE;
