二つの独立したテストグループ A，B が，あるシステムについて一定期間並行してテストを行い，それぞれ NA 個及び NB 個のエラーを検出した。このうち，共通のエラーは NAB 個であった。このシステムの総エラー数 N を予測する式はどれか。ここで，NA ＞ 0，NB ＞ 0，NAB ＞ 0 とする。また，グループ A，B の，エラーを検出する能力及び効率は等しいものとする。