theorem :: XPRIMES2:909

canceled;