To extend the remark made there in connection with the usual tensor product is not possible, then the statement follows from Corollary 4.4 by the given four interfaces.