If a supposed non-actual infinite mode's existence is necessary, then by necessity-entails-actuality...