Statistical properties of gravitational lenses with a nonzero cosmological constant | Synapse