Demonstrați că numărul a-5√3 (√3-2√12)-√5 (7-4√20)+7√5+90 este natural. ​