>>500
まって。よくわからない。
b_pを構成するところにもfが出てくるけどコレは我々が作らないといけない関数f:R^2→{0,1}のfとは別物だよね?
目標としてる命題は
∃f:R^2→{0,1} ∀p:[0,1]→R^2 ‥‥
だからfの構成はpにdependしてはいけないはずだけど大丈夫?