bevis[Suédois]

nom
1 : a formal series of statements showing that if one thing is true something else necessarily follows from it