この時点で除去はx3j3の代替だけが許容された。