If K is a set of positive integers strictly between t and v, then the t BD is proper.
Αν K είναι ένα σύνολο αυστηρά θετικών ακεραίων μεταξύ t και v, τότε το t BD είναι σωστό.