>>427
O_Xの元であることを示せばよい、ですか?