proof that two negatives make a positive