Prove anonymous number hold