1. 5
  1.  

  2. 2

    It would sure be nice to have a tag like “proof” or “formalmethods” for things like this.