Redirecting to Double counting (proof technique)