equiv between fully_faithful and full_and_faithful