数学者Sが複素関数b(z)を導入して
数学者Kが
b(z)の根は負の有理数である ★
という予想を証明した

b(z)の根は複素数の集合
負の有理数も複素数の集合
で、同じカテゴリーだから、★は
{b(z)の根}={負の有理数}
と読むの？