>>442
P-{2}∈PP と、P-{2} に対応する Q の元が存在しないことの
両方を認めたら、>>403 の PP から Q への単射が存在するという結論
(78の変な記法に従うと PP⊂Q) が出なくなるわけだが、
78はいったい何を勘違いしてるんだろう