다음에서 추론한 것으로 옳은 것만을 <보기>에서 있는 대로 고른 것은?

여러 개의 프로그램이 동시에 실행되면서 같은 작업을 수행하는 병렬 프로그래밍에서, 각 프로그램이 사용하는 데이터는 일정한 메모리 영역에 저장되고 공유된다.
프로그램 P1～P4와 이들이 사용하는 메모리 영역 M1～M4에 대하여 다음이 성립한다.

ㅇ P1～P4만이 실행되고 각 프로그램은 M1～M4를 사용한다.
각 프로그램은 적어도 1개 이상의 메모리 영역을 사용하고 어떤 프로그램에 의해서도 사용되지 않는 메모리 영역은 없다.
ㅇ 메모리 영역은 M1～M4의 순서대로 일렬로 연결되어 있다.
ㅇ 전체 프로그램이 사용하는 메모리 영역의 개수의 합은 최대 6이다.
ㅇ 어떤 프로그램도 연속되는 2개의 메모리 영역을 사용할 수 없다.
ㅇ P1은 2개의 메모리 영역을 사용한다.
ㅇ P2는 M2를 사용한다.
ㅇ P4는 P2가 사용하는 메모리 영역을 1개 이상 공유한다.

---

<보 기>

ㄱ. 만약 P2가 2개의 메모리 영역을 사용한다면 P3은 1개의 메모리 영역만을 사용한다.

ㄴ. M2가 3개의 프로그램에 의해서 사용될 수도 있다.

ㄷ. 만약 P4가 M4를 사용한다면 P4는 M2도 사용한다.

---

① ㄱ　　　　② ㄷ　　　　③ ㄱ, ㄴ

④ ㄴ, ㄷ　　⑤ ㄱ, ㄴ, ㄷ