theorem :: XPRIMES2:5912

canceled;