「構成した対象がA(aかつbの意)であり、なおかつcやdという素晴らしい性質を満たしますよ!!」という証明を読んでて、b,c,dを満たすことの証明はあるけどaを満たすことの証明が載ってなくて一時間どこにあるか探したが、よくよく考えたらd⇒aが自明すぎた。俺の一時間…。