145很难证明