George Orwell'in 1984 kitabında O'Brien'ın Winston'a işkence ile onaylamasını istediği yargıdır. Winston dört eder diye karşı çıksa da işkencenin verdiği acıyla birlikte sonunda beş olduğunu kabullenmek zorunda kalır.
=> x = y -> olsun
=> x² = x.y -> her iki taraf x'le çarpılır.
=> x² - y² = xy - y² -> her iki taraftan y² çıkardık.
=> (x + y).(x - y) = y.( x-y ) -> sol tarafı çarpanlarına ayırdık, sağ tarafı ise y² parantezini alırız.
=> ( x + y ) = y -> (x-y) ler sadeleşir.
=> x + x = x -> x=y demiştik
=> 2.x = x -> sol tarafta x'leri topladık.
=> 2 = 1 -> x'ler sadeleşti.
=> 3 + 2 = 1 + 3 -> her iki tarafa 3 ekledik.
=> 5 = 4 -> burdan,
=> 5 = 2 + 2 olur.
