add new block environment: Proposition