נוסחאות הכפל, חיסור