English: If both these conditions are not true; so p is not equal to A which means p is actually proceeded somewhat, and star p is still equal to star q.
Telugu: ఈ రెండు షరతులు నిజం కాకపోతే; కాబట్టి p అనేది Aకి సమానం కాదు అంటే p నిజానికి కొంత వరకు కొనసాగుతుంది మరియు *p ఇప్పటికీ *qకి సమానం.