Squance proofs

No comments: