Hoch-Smith Resolution