Following is an English translation of the argument:.