A \ A+B / \ B \ A+B+C+D C / \ / C+D / D

A+B+C+D, A+B, A A+B+C+D, A+B, B A+B+C+D, C+D, C A+B+C+D, C+D, D

size(A+B+C+D), A+B+C+D, A+B, A, C

C+D = (A+B+C+D)-(A+B), ==> B = (A+B)-A, ==> D = (C+D)-C