Vas István: 7 tétel