已知a、b是两条异面直线,给出下面四个命题: