正確にはこうです。

プログラムの3を19に変えてn=7で、
---
(4) A' の各元 a に対し、19a+1 がどの Bi に属すかを見る。（どの Bi にも属さないこともある）
---
で全ての19a+1が属さないのです。
プログラム上ではオールNothingになります。