A proof of Khavinson's conjecture in R4. Issue 4 (21st April 2017)