Microlocal Elliptic Regularity Theorem