theorem :: XPRIMES2:912

canceled;