No result about Lucasian-professor