Position-Space Renormalization-Group Transformations: Some Proofs and Some Problems