Double counting (proof technique)

ID: double-counting-proof-technique

New to topics? Read the docs here!