Uttrycken ( 1c ) och ( 3 ) kan under den här förutsättningen skrivas :