ซึ่งต้องเป็นจริงเนื่องจากการค้นหาคอมพิวเตอร์ได้ผลิตโซลูชั่นขนาดเล็กทั้งหมด ดังนั้น ถ้าใด ๆ จะพลาด พวกเขาจะแน่นอนมากกว่าหนึ่งทั้ง X และ V ไม่ได้ศูนย์และหนึ่งเพราะเป็นทั้งจำนวนเต็ม X ดังนั้น
ซึ่งจะต้องเป็นจริงตั้งแต่การค้นหาคอมพิวเตอร์มีการผลิตโซลูชั่นขนาดเล็ก ดังนั้นถ้าใด ๆ ที่พลาดพวกเขาอย่างแน่นอนมากกว่าหนึ่งทั้ง X หรือ V อยู่ระหว่างศูนย์และหนึ่งเพราะพวกเขาทั้งสองเป็นจำนวนเต็ม ดังนั้น X