{ 
                            Contractictiõ por negacion. }