Відправити по sms: Relative Frobenius algebras are groupoids