Add macros for red, blue and green text
Prove correctness of RSA