いや、>>497って公理でしょ?