Yet according to this argument, which forbids us to seek the cause, there will be no proof of any eternal truth whatever; but we see that there is a proof of many such, whether by 'eternal' we mean what always happens or what exists eternally; it is an eternal truth that the angles of a triangle are always equal to two right angles, or that the diagonal of a square is incommensurable with the side, and nevertheless a cause and a proof can be given for these truths.