C.6 既知の問題