theorem :: XPRIMES2:2711

canceled;