constructive existence proof

[ریاضیات] برهان وجود ساختمانی