そもそも次元の差が3以上なら解けるって話も微分同相レベルでは成り立たないし