Q.E.D.iff ―証明終了―
Amungs