[SBV] tests/T10.hs:12:1 Proving "f", using Z3.
[Z3] Q.E.D.