Відправити по sms: A proper mapping theorem for coadmissible D-modules