オリジナル予想と命題