>>970
>mp=(x-1,y,z)にFは確かに含まれる

mp=(x-1,y,z) とは何を表すつもりで書いているんですか?