theorem :: XPRIMES2:7721

canceled;