ヒカリ証明論 -Instrumental-