theorem of the square

#todo/untagged #todo/add-references #todo/create-links