Первая часть вопроса бессмысленна: обязательно ли при характеризации объектов, обладающим некоторым свойством

, предполагать, что они обладают свойством

?
На вторую часть, т. е. стоит ли
доказывать от противного
попробуйте ответить самостоятельно, попытавшись проделать доказательство напрямую.