ที่กล่าวมานี้ไม่ได้มีบทพิสูจน์ว่าจะมีการล็อก