О неформальных односвязных симплектических многообразиях