theorem-square