Some Veri[f]ication

Some Veri[f]ication

707