数学はノントリビアルなものがよい