omega cocontinuity of bifunctors