1. 0-def/
  2. 1-theorem/