Спра­вед­ли­ва рав­но­силь­ность

Это свой­ство, ос­но­ван­ное на том, что число, рав­ное по­ло­жи­тель­но­му, по­ло­жи­тель­но, поз­во­ля­ет вме­сто двух не­ра­венств про­ве­рять одно любое. Остав­ля­ют более про­стое усло­вие.