>>469
それどうやって正しさ論証するの?