  The demiclosedness principle is one of the key tools in nonlinear analysis
and fixed point theory. In this note, this principle is extended and made more
flexible by two mutually orthogonal affine subspaces. Versions for finitely
many (firmly) nonexpansive operators are presented. As an application, a simple
proof of the weak convergence of the Douglas-Rachford splitting algorithm is
provided.
