>>420
この場合はサードも買わないゴキ
という事しか証明されないのでは?