Replying...
Intro. They are taken for the rest

theorem

@Emilia