In these, (2) and (12) are directly from the definitions; the others may be separated into 4 sets of 4 each, such that when one member of each set is calculated directly, the others follow from it by successive doubling and reduction. Thus.
{{comment.content}}