m,nを自然数とする。
ユークリッド空間上の関数f:R^n→R^mは、任意の凸集合を凸集合に移す。
この時、fは連続か。