FinBijections : Prove all postulates