4回路と予想