A check system for checking processing of a terminal by a user using a plurality of servers, wherein the plurality of servers are a first server and a second server; wherein the terminal and the first server are connected each other via a first network, and the first server and the second server are connected each other via a second network; wherein the terminal includes: a memory unit provided with a first common key and a second common key; a message authentication code generator, to which it is in the following referred as MAC generator, the MAC generator is configured to generate a first MAC of a message regarding processing of the terminal by the user based on the first common key, to generate a second MAC of the message based on the second common key, and to generate a file containing the message and the two MACs, and a data transmitter/receiver that is configured to transmit the file to the first server; wherein the first server includes: a first message authentication code verification unit to which it is in the following referred as first MAC verification unit, the first MAC verification unit is configured to receive the file from the terminal, and to verify the file using the first MAC and the first common key; a data transmitter/receiver that is configured to transmit the file, whose validity has been verified by the first MAC verification unit, to the second server, and which is configured to receive a verification result of the second server; a memory unit that stores.the verification result of the second server; and wherein the second server includes: a second message authentication code verification unit to which it is in the following referred as second MAC verification unit, the second MAC verification unit is configured to verify the validity of the file received from the first server using the second MAC and the second common key; and a data transmitter/receiver that is configured to transmit the verification result to the first server. a message authentication code generator, to which it is in the following referred as MAC generator, the MAC generator is configured to generate a first MAC of a message regarding processing of the terminal by the user based on the first common key, to generate a second MAC of the message based on the second common key, and to generate a file containing the message and the two MACs, and a data transmitter/receiver that is configured to transmit the file to the first server; wherein the first server includes: a first message authentication code verification unit to which it is in the following referred as first MAC verification unit, the first MAC verification unit is configured to receive the file from the terminal, and to verify the file using the first MAC and the first common key; a data transmitter/receiver that is configured to transmit the file, whose validity has been verified by the first MAC verification unit, to the second server, and which is configured to receive a verification result of the second server; a memory unit that stores.the verification result of the second server; and wherein the second server includes: a second message authentication code verification unit to which it is in the following referred as second MAC verification unit, the second MAC verification unit is configured to verify the validity of the file received from the first server using the second MAC and the second common key; and a data transmitter/receiver that is configured to transmit the verification result to the first server. a first message authentication code verification unit to which it is in the following referred as first MAC verification unit, the first MAC verification unit is configured to receive the file from the terminal, and to verify the file using the first MAC and the first common key; a data transmitter/receiver that is configured to transmit the file, whose validity has been verified by the first MAC verification unit, to the second server, and which is configured to receive a verification result of the second server; a memory unit that stores.the verification result of the second server; and wherein the second server includes: a second message authentication code verification unit to which it is in the following referred as second MAC verification unit, the second MAC verification unit is configured to verify the validity of the file received from the first server using the second MAC and the second common key; and a data transmitter/receiver that is configured to transmit the verification result to the first server.