theorem :: XPRIMES2:916

canceled;