發送短信: Ax-Schanuel for the j-function