A separate source-support fact

This is a prescribed elliptic source problem, not either quotient constructed above. It explains why compact-support assumptions cannot be transferred to a sourced metric problem by analogy.