Property:Proved in

has type::record has fields::page;number;string;string