タグ: proof q is real