Artmann, H. C.: 1 tétel