Russian physicist mathematically proved his innocence in an American court