Bukti menggunakan penataan ulang yang rumit