English: So if you if you know the logic A = B, and  ∼ B =  ∼ A, so if you can put the above property in this form and rewrite it as, So y₁(x), and y₂(x) are linearly dependent if and only if y₁(x)y^(′)₂(x) − y₂(x)y^(′)₁(x) = 0 for some x₀ ∈ I that is there exists some x₀ ∈ I such that this y₁(x)y^(′)₂(x) − y₂(x)y^(′)₁(x) = 0.
Telugu: కాబట్టి మీకు లాజిక్ A=B మరియు  ∼ B =  ∼ A అని తెలిసినట్లయితే, మీరు పైన పేర్కొన్న ప్రాపర్టీ ను ఈ రూపంలో ఉంచి, దానిని ఇలా తిరిగి వ్రాయగలిగితే, y₁(x) మరియు y₂(x) లు లినియర్లీ ఇండిపెండెంట్ గా ఉంటే మరియు కొన్ని x₀ ∈ I కి y₁(x)y^(′)₂(x) − y₂(x)y^(′)₁(x) = 0 ఉంటే మాత్రమే, ఈ y₁(x)y^(′)₂(x) − y₂(x)y^(′)₁(x) = 0 కి x₀ ∈ I ఉంటుంది.