Full Idea
Modal Square of Opposition 6: 'It is necessary that not P' and 'It is not possible that P' are the subalternatives (first implies second) of 'It is not necessary that P' and 'It is possible that not P'.
Gist of Idea
Modal Square 6: □¬P and ¬◊P are 'subalternatives' of ¬□P and ◊¬P
Source
report of Aristotle (On Interpretation [c.330 BCE], Ch.12f) by M Fitting/R Mendelsohn - First-Order Modal Logic 1.4
Book Reference
Fitting,M/Mendelsohn,R: 'First-Order Modal Logic' [Synthese 1998], p.7