>>148
存在性と一意性を合わせて使うこともあるが