Back
Proposition 397
