From How to Why. Graph-Theoretical Verification of Quantum-Mechanical Aspects of π-Electron Behaviors in Conjugated Systems